O'Camelot: adding objects to a resource-aware functional language
نویسندگان
چکیده
We outline an object-oriented extension to Camelot, a functional language in the ML family designed for resource aware computation. Camelot is compiled for the Java Virtual Machine, and our extension allows Camelot programs to interact easily with the Java object system, harnessing the power of Java libraries and allowing Java programs to incorporate resource-bounded Camelot code.2
منابع مشابه
A Type-Free Resource-Aware -Calculus
We introduce and study a functional language R, having two main features. R has the same computational power of the-calculus. R enjoys the resource-awareness of the typed/typable functional languages which encode the Intuitionistic Linear Logic.
متن کاملResource Aware ML
The automatic determination of the quantitative resource consumption of programs is a classic research topic which has many applications in software development. Recently, we developed a novel multivariate amortized resource analysis that automatically computes polynomial resource bounds for first-order functional programs. In this tool paper, we describe Resource Aware ML (RAML), a functional ...
متن کاملAnalyzing Sorting Algorithms in Resource Aware ML
Software development sometimes requires to statically predict the quantity of resources—such as memory and time—that is needed to execute a program. The difficulties of manual resource analysis led to extensive research on automatic methods for quantitative resource analysis. Recently we developed an automatic amortized analysis to compute polynomial resource bounds for first-order functional p...
متن کاملCamelot and Grail: resource-aware functional programming for the JVM
We describe the functional language Camelot, which is a language of the ML family with extensions for explicit management of heap storage, and the intermediate language Grail, which is a functional form of JVM bytecode. A scheme for transforming Camelot into Grail is described. We also give some figures for execution times which show that Camelot programs perform reasonably well when compared w...
متن کاملThe Importance of Resource Management in Engineering Distributed Objects
Middleware technologies such as CORBA and DCOM have been developed as a means of tackling heterogeneity and complexity problems inherent in distributed systems. However, more work still need to be done to develop methodologies for the construction of distributed objects. In addition, little attention has been paid to the development of methodologies for the configuration of computational resour...
متن کامل